科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:利用扩展森林自动机验证有序数据堆操作程序
Parosh Aziz Abdulla; Bengt Jonsson; Cong Quy Trinh;
机译:通过扩展的森林自动机验证带有顺序数据的堆操作程序
机译:构建堆操作程序的验证
机译:验证并发堆操作程序的安全属性
机译:通过扩展森林自动机验证带顺序数据的堆操作程序
机译:证明堆操作程序正确性的自动技术。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:通过扩展的森林自动机验证堆操作程序是否有序数据
机译:扩展有限状态自动机以及使用扩展有限状态自动机识别数据流中模式的系统和方法
机译:生成验证数据,加密数据流并将数据存储在数据载体中的方法,用于生成验证数据的电路,该验证数据用于验证数据流的授权级别以及加密数据流存储设备载体,计算机程序的产品,记录和计算机编程的
机译:扩展有限状态自动机以及使用扩展有限状态自动机识别模式的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。